41. Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
پدیدآورنده : Gerard Berry, Hubert Comon, Alain Finkel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2102
42. Computer design aids for VLSI circuits
پدیدآورنده :
موضوع : ، Integrated circuits-- Very Large scale integration-- Congresses,، Electronic circuit design-- Computer programs-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
43. Correct hardware design and verification methods : IFIP WG10.2 advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings
پدیدآورنده : George J. Milne, Laurence Pierre )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
683
44. Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings
پدیدآورنده : CHARME '39 )3991: Arles, France(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Design and construction-- Data processing-- Congresses,، Integrated circuits-- Verification-- Congresses,، Computer-aided design-- Congresses
رده :
TK
7874
.
C55
1993
45. Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME'95 Frankfurt, Germany, October 1995 : proceedings
پدیدآورنده : Paolo E. Camurati, Hans Eveleing )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
987
46. Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
پدیدآورنده : Daniel Geist, Enrico Tronci, )Eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2860
47. Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
75
.
C453
2001
48. Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
پدیدآورنده : Tiziana Margaria, Tom Melham )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
2144
49. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
پدیدآورنده : Dominique Borrione, Wolfgang Paul )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
3725
50. Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
پدیدآورنده : Pierre Laurence, Thomas Kropf )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1703
51. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
52. Design and optimization techniques of high speed VLSI circuits
پدیدآورنده : Delaurenti, Marco, Marco Delaurenti
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
QA
76
.
9
53. Design methodologies for VLSI and computer architecture : proceedings of the IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer Architecture, Pisa, Italy, 19- 21 September 1988
پدیدآورنده : IFIP TC01 Working Conference on Design Methodologies for VLSI and Computer Architecture )8891 : Pisa, Italy(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer architecture- Congresses,، Integrated circuits- Very large scale integration- Design and construction- Congresses
54. Design methodologies for VLSI circuits
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Integrated circuits-- Very large scale integration-- Congresses
رده :
TK
7874
.
N335
1980
55. Design of MOS VLSI circuits for telecommunications
پدیدآورنده : edited by Yannis Tsividis, Paolo Antognetti
موضوع : Integrated circuits - Very large scale integration - Congresses,Metal oxide semiconductors - Congresses,Telecommunication - Equipment and supplies - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
56. Design of MOS VLSI circuits for telecommunications
پدیدآورنده : edited by Yannis Tsividis, Paolo Antognetti
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Integrated circuits -- Very large scale integration -- Congresses,، Metal oxide semiconductors -- Congresses,، Telecommunication -- Equipment and supplies -- Congresses
رده :
TK
7874
.
D475
1985
57. Design of mos VLSI circuits for telecommunications
پدیدآورنده : edited by Yannis Tsividis, Paolo Antognetti
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Very large scale integration - Congresses ، Integrated circuits,Congresses ، Metal oxide simicondouctors,Apparatus and supplies - Congresses ، Telecommunication
رده :
TK
7874
.
D475
1985
58. Design of mos vlsi circuits for telecommunications
پدیدآورنده : TSIVIDIS,YANNIS
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : INTEGRATED CIRCUITS-VERY LARGE SCALE , METAL OXIDE SEMICONDUCTORS-CONGRESSES , TELECOMMUNICATION-EQUIPMENT
رده :
TK
7874
.
D475
1984
59. Design systems for VLSI circuits :logic synthesis and silicon compilation
پدیدآورنده : edited by G. De Micheli, A. Sangiovanni-Vincentelli, P. Antognetti
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Integrated circuits--Very large scale integration--Congresses,Silicon compilers--Congresses
رده :
TK
،
7874
،.
N338
،
1986
60. Design systems for VLSI circuits: logic synthesis and silicon compilation
پدیدآورنده : NATO Advanced Study Institute on Logic Synthesis and Silicon Compilation for VLSI Design )6891: L'Aquila, Italy(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Integrated circuits- Very large scale integration- Congresses,، Silicon compilers- Congresses
رده :
TK
7874
.
N338
1987
